propositional variable перевод

• лог. пропорциональная переменная

• propositional:    пропозициональный alphabet of propositional calculus ≈ алфавитисчисления высказываний, алфавит нулевого порядка classicalpropositional calculus ≈ классическое исчисление высказываний,классическое пр
• variable:    1) _мат. переменная (величина)2) _астр. переменная звезда3) _мор. неровный ветер4) _метеор. западные ветры средних широт5) ветры переменных направлений6) изменчивый, непостоянный; неустойчивый Ex: v
• propositional algebra:    алгебра высказываний; пропозициональная алгебра
• propositional argument:    мат. пропозициональный аргумент
• propositional axiom:    мат. пропозициональная аксиома
• propositional calculus:    лог. пропозициональное исчисление, исчисление высказываний
• propositional connection:    матем. пропозициональная связка
• propositional connective:    пропозициональная связка
• propositional form:    мат. пропозициональная форма
• propositional formula:    мат. пропозициональная формула
• propositional function:    лог. пропорциональная функция
• propositional functor:    мат. пропозициональный функтор, логическая связка
• propositional hierarchy:    пропозициональная иерархия; иерархия высказываний
• propositional implication:    мат. импликация высказываний
• propositional inference:    пропозициональный вывод